f(x, y) => [if (x case _ when y + () => 0) 0];
